School of Computer Science

Results: 3584



#Item
151

λ-calculus and types Lecture notes Midland Graduate School / APPSEM Spring School 2004 Thorsten Altenkirch School of Computer Science and Information Technology, Nottingham University

Add to Reading List

Source URL: www.cs.nott.ac.uk

Language: English - Date: 2006-05-01 19:38:15
    152

    Modelling Assumption-Based Reasoning Using Contexts Mark Jago? School of Computer Science & Department of Philosophy University of Nottingham Nottingham, UK

    Add to Reading List

    Source URL: ceur-ws.org

    Language: English - Date: 2005-05-30 08:52:38
      153

      The Polymath Project: Lessons from a Successful Online Collaboration in Mathematics Justin Cranshaw School of Computer Science Carnegie Mellon University Pittsburgh, PA, USA

      Add to Reading List

      Source URL: www.cs.cmu.edu

      Language: English - Date: 2012-01-22 15:47:21
        154

        Optimizing The Lazy DFA Approach for XML Stream Processing Danny Chen Raymond K. Wong School of Computer Science & Engineering

        Add to Reading List

        Source URL: crpit.com

        Language: English - Date: 2012-01-19 01:27:20
          155

          Synthesising Verified Access Control Systems through Model Checking Nan Zhang, Mark Ryan∗ School of Computer Science University of Birmingham {nxz,mdr}@cs.bham.ac.uk

          Add to Reading List

          Source URL: www.cs.bham.ac.uk.

          Language: English - Date: 2009-02-25 10:33:23
            156

            Fast Monocular Visual Compass for a Computationally Limited Robot Peter Anderson and Bernhard Hengst School of Computer Science and Engineering University of New South Wales

            Add to Reading List

            Source URL: www.panderson.me

            - Date: 2018-03-17 00:20:17
              157

              DFPC: A Dynamic Frequent Pattern Compression Scheme in NVM-based Main Memory Yuncheng Guo, Yu Hua∗ , Pengfei Zuo Wuhan National Laboratory for Optoelectronics, School of Computer Science and Technology Huazhong Univers

              Add to Reading List

              Source URL: csyhua.github.io

              - Date: 2018-03-29 07:20:56
                158

                Robot Localisation Using Natural Landmarks Peter Anderson, Yongki Yusmanthia, Bernhard Hengst, and Arcot Sowmya School of Computer Science and Engineering, University of New South Wales, UNSW Sydney 2052 Australia

                Add to Reading List

                Source URL: www.panderson.me

                - Date: 2018-03-17 00:20:17
                  159

                  Efficient Parallel Stencil Convolution in Haskell Ben Lippmeier Gabriele Keller School of Computer Science and Engineering

                  Add to Reading List

                  Source URL: benl.ouroborus.net

                  - Date: 2013-04-29 00:13:26
                    160

                    Towards Observational Type Theory Thorsten Altenkirch and Conor McBride School of Computer Science and Information Technology University of Nottingham {txa,ctm}@cs.nott.ac.uk

                    Add to Reading List

                    Source URL: personal.cis.strath.ac.uk

                    - Date: 2015-07-09 09:31:03
                      UPDATE